#define _CRT_SECURE_NO_WARNINGS 1

//#include <stdio.h>
//
//int main()
//{
//    char arr[1000] = { 0 };
//    int k = 0;
//    scanf("%s", arr);
//    scanf("%d", &k);
//    for (int i = 0; i < k; i++)
//    {
//        printf("%c", arr[i]);
//    }
//    return 0;
//}

//#include <stdio.h>
//
//int main()
//{
//    long n = 0, k = 0;
//    while (~scanf("%ld %ld", &n, &k))
//    {
//        if (k == 0)
//        {
//            printf("%ld\n", n * n);
//            continue;
//        }
//        long count = 0;
//        for (long y = k + 1; y <= n; y++)
//        {
//            long ret = n % y < k ? 0 : n % y - (k - 1);
//            count += (y - k) * (n / y) + (ret);
//        }
//        printf("%ld\n", count);
//    }
//    return 0;
//}